<?php
$array = new ArrayIterator( [ 2, 13, 15, 17 ] );
var_dump($array);
?>
